Found 1 query results that match Formality 2008
Synopsys Formality 2008.09 SP4 AMD64
- ::::::English Description::::::The Formality® Equivalence Checker uses formal techniques to prove or disprove equivalence between two versions of the same design. Equivalence checking is a type of static analysis that verifies large designs both quickly and completely without the use of test v.....
- Language : english Authorization: Pre Release Freshtime：2009-05-10 Size: 59MB